TR # : ISIS - 15 - 106 Title : META Design Space Exploration Using Dynamics

TR # : ISIS - 15 - 109 Title : Structural Design and Analysis in the META Toolchain

TR # : ISIS - 15 - 108 Title : Formal Verification and Reliability in the META Toolchain

TR # : ISIS - 15 - 103 Title : Overview of the META Toolchain in the Adaptive Vehicle Make Program

Title: Meta Design Space Exploration Using Dynamics

The Design and Implementation of Meta

The Meta toolkit provides an infrastructure based upon the reac-tive system architecture for fault-tolerant management of distributed applications. Management policies are expressed as a set of rules, which are executed by Meta in a distributed fashion. The Meta system was implemented using ISIS as a basis. Although the concepts and architecture of Meta are independent of ISIS, the ISIS system ...